1. Advances in the design of symbolic computation systems
Author: / A. Miola and M. Temperini (eds.)
Library: Library of College of Science University of Tehran (Tehran)
Subject: System design,Object-oriented programming (Computer science),Mathematics -- Data processing
Classification :
QA
76
.
9
.
S88
A38
1997
2. Advances in the design of symbolic computation systems
Author: / A. Miola and M. Temperini (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: System design,Object-oriented programming (Computer science),Mathematics -- Data processing
Classification :
QA76
.
9
.
S88
,
A38
1997
3. Algorithms and complexity : new directions and recent results
Author: edited by J. F. Traub
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computational complexity,Data processing -- Congresses ، Mathematics
Classification :
QA
76
.
6
.
S98
1976
4. An introduction to SAGE programming
Author: \ Razvan A. Mezei, Lenoir-Rhyne University, Donald & Helen Schort School of Mathematics and Computing Sciences, Hickory, NC, USA.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics-- Data processing.,Numerical analysis-- Data processing.,Computer programming.,ریاضیات -- دادهپردازی
Classification :
QA76
.
95
.
M486
2016
E-Book
,
5. An introduction to SAGE programming :
Author: Razvan A. Mezei
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: SageMath.,Computer programming.,Mathematics-- Data processing.,Numerical analysis-- Data processing.
Classification :
QA76
.
95
6. Beginning math and physics for game programmers
Author: / Wendy Stahler
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science- Mathematics,Computer games- Programming,Physics- Data processing
Classification :
QA76
.
9
.
M35
,
S73
2004
7. Box2d for Flash games
Author: Emanuele Feronato
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer animation-- Mathematics,Computer games-- Programming,Physics-- Data processing
Classification :
QA76
.
76
.
C672
P36
2012
8. Calculating with Fortran
Author: Manifold, George O.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
Classification :
QA
76
.
73
.
F25
.
M35
9. Categories and computer science
Author: R.F.C. Walters
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing ، Categories )Mathematics(,، Computer programming
Classification :
QA
169
.
W3
10. Categories and computer science
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Categories (Mathematics) ; Data processing ; Computer programming ;
11. Computational category theory /
Author: D.E. Rydeheard, R.M. Burstall
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics)-- Data processing,Computer programming
Classification :
QA169
.
R93
1988
12. Computational category theory
Author: David E. Rydeheard, Rod M. Burstall
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Categories (Mathematics)- Data processing,Computer programming
Classification :
QA
,
169
,.
R93
,
1988
13. Computational category theory. [CD]
Author: / David E. Rydeheard, Rod M. Burstall
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Categories (Mathematics) -- Data processing,Computer programming
Classification :
QA169
.
R93
1988
14. Computer- aided financial analysis
Author: Miller, Ross M
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Investments- Mathematical models ► Investments- Data processing ► LISP (Computer program language) ► Programming (Mathematics)
Classification :
M649c
15. Computer science, a mathematical interoduction applied mathematics--modelling analysis, and optimization techniques with application to software ystems
Author: / Art Lew
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic data processing--Mathematics,Electronic digital computer-Programming,Computer science - Mathematics
Classification :
QA
76
.
9
.
M35L48
1984
16. Computer science with Mathematica
Author: Roman E. Maeder
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Mathematica (Computer file),Mathematics, Data processing,Mathematica (Computer programming language)
Classification :
QA
,
76
.
95
,.
M34
,
2000
17. Computer science with Mathematica
Author: / Roman E. Maeder
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematica (Computer file),Mathematics- Data processing,Mathematica (Computer programming language)
Classification :
QA76
.
95
.
M34
2000
18. Computer science with Mathematica : theory and practice for science, mathematics, and engineering
Author: / Roman E. Maeder.
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematica (Computer file),Mathematics -- Data processing.,Mathematica (Computer programming language)
Classification :
QA76
.
95
.
M34
2000
19. Computer science with Mathematica :theory and practice for science, mathematics, and engineering[CD]
Author: / Roman E. Maeder
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Mathematica (Computer file),Mathematics -- Data processing,Mathematica (Computer programming language)
Classification :
CD1760-09
20. Computer science with Mathematica: theory and practice for science, mathematics, and engineering
Author: Maeder, Roman
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics-- Data processing,، Mathematica )Computer programming language(
Classification :
QA
76
.
95
.
M34
2000
